Buy Used and New Manfred Kerber Books

Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, ... / Lecture Notes in Artificial Intelligence)

by

ISBN 13: 9783540730835

Format: Paperback (407 pages)
Publisher: Springer
Published: 19 Jun 2007

Save for later

Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.: 9150 (Lecture Notes in Computer Science)

by Manfred Kerber,Jacques Carette,Cezary Kaliszyk,Florian Rabe,Volker Sorge

ISBN 13: 9783319206141

Format: Paperback (384 pages)
Publisher: Springer
Published: 14 Aug 2015

Save for later